TSTP Solution File: DAT183^1 by Mace4---1109a